Formal semantics - PDFSEARCH.IO - Document Search Engine

Formal semantics
Results: 502

#	Item
391	Reasoning with Triggers Claire Dross Sylvain Conchon Johannes Kanig Add to Reading List Source URL: smt2012.loria.fr Language: English - Date: 2012-06-20 03:34:17 Predicate logic Model theory Semantics Logic in computer science Formal languages Satisfiability Modulo Theories First-order logic Interpretation Atomic formula Logic Theoretical computer science Mathematical logic
392	Program Analysis with Dynamic Precision Adjustment ∗ Dirk Beyer Simon Fraser University, Canada Thomas A. Henzinger EPFL, Switzerland Add to Reading List Source URL: www.sosy-lab.org Language: English - Date: 2013-10-11 06:59:10 Formal methods Mathematical logic Function Predicate transformer semantics Floating point Abstract interpretation Predicate Quantification Prime-counting function Mathematics Logic Semantics
393	Towards Type-theoretic Semantics for Transactional Concurrency Aleksandar Nanevski Microsoft Research, Cambridge [removed] Add to Reading List Source URL: ynot.cs.harvard.edu Language: English - Date: 2011-07-10 14:38:57 Logic in computer science Program logic Formal methods Models of computation Hoare logic Separation logic Combinatory logic First-order logic Lambda calculus Mathematical logic Theoretical computer science Logic
394	Type-theoretic semantics for transactional concurrency Aleksandar Nanevski Paul Govereau Greg Morrisett Add to Reading List Source URL: ynot.cs.harvard.edu Language: English - Date: 2011-07-10 14:38:57 Program logic Logic in computer science Procedural programming languages Formal methods Models of computation Hoare logic Separation logic First-order logic ALGOL 68 Mathematical logic Logic Theoretical computer science
395	Polymorphism and Separation in Hoare Type Theory Aleksandar Nanevski Greg Morrisett Harvard University Add to Reading List Source URL: ynot.cs.harvard.edu Language: English - Date: 2011-07-10 14:38:57 Logic in computer science Program logic Models of computation Programming language semantics Formal methods Denotational semantics Separation logic Hoare logic Lambda calculus Mathematical logic Theoretical computer science Logic
396	Ynot : Reasoning with the Awkward Squad Aleksandar Nanevski Microsoft Research [removed] Greg Morrisett Add to Reading List Source URL: ynot.cs.harvard.edu Language: English - Date: 2011-07-10 14:38:56 Logic Formal methods Logic in computer science Procedural programming languages Predicate transformer semantics Separation logic Hoare logic Vienna Development Method Forcing Mathematical logic Program logic Theoretical computer science
397	The talk discusses existential quantification in Bura, a Central Chadic language, which has up to now not been subject to formal semantic analysis Add to Reading List Source URL: www.salt17.uconn.edu Language: English - Date: 2007-03-06 22:45:32 Semantics Copula Auxiliary verb Logic Linguistics Quantification
398	A Solution to the Proviso Problem: Formal Alternatives, Relevance, and Accommodation 1. The Proviso Problem: Geurts[removed]observes that ‘satisfaction theories’ of presupposition (eg. Heim[removed]predict that when con Add to Reading List Source URL: www.salt17.uconn.edu Language: English - Date: 2007-03-06 22:45:22 Logical syntax Philosophy of language Pragmatics Presupposition Entailment Proposition Interpretation Static single assignment form Logic Semantics Propositional calculus
399	arXiv:0908.1390v3 [cs.LO] 23 Sep 2010 Add to Reading List Source URL: arxiv.org Language: English - Date: 2010-09-23 22:29:06 Metalogic Formal languages Semantics Philosophical logic Logical syntax Entailment Interpretation Sequent calculus Lambda calculus Logic Mathematics Mathematical logic
400	Semantic bounds for everyday language* MARCIN MOSTOWSKI and JAKUB SZYMANIK Abstract We consider the notion of everyday language. We claim that everyday language is semantically bounded by the properties expressible in t Add to Reading List Source URL: www.jakubszymanik.com Language: English - Date: 2012-02-17 11:19:27 Metalogic Model theory Semantics Formal languages First-order logic Interpretation Function Quantification Well-formed formula Logic Mathematical logic Predicate logic

UPDATE